semiordered set

半有序集